Sequential alignment attention model for scene text recognition

Scene text recognition has been a hot research topic in computer vision due to its various applications. The state-of-the-art solutions usually depend on the attention-based encoder-decoder framework that learns the mapping between input images and output sequences in a purely data-driven way. Unfortunately, there often exists severe misalignment between feature areas and text labels in real-world scenarios. To address this problem, this paper proposes a sequential alignment attention model to enhance the alignment between input images and output character sequences. In this model, an attention gated recurrent unit (AGRU) is first devised to distinguish the text and background regions, and further extract the localized features focusing on sequential text regions. Furthermore, CTC guided decoding strategy is integrated into the popular attention-based decoder, which not only helps to boost the convergence of the training but also enhances the well-aligned sequence recognition. Extensive experiments on various benchmarks, including the IIIT5k, SVT, and ICDAR datasets, show that our method substantially outperforms the state-of-the-art methods.     

适用于无线体域网的动态口令认证协议

无线体域网中传输的是与生命高度相关的敏感数据，身份认证是信息安全保护的第一道防线。现有的基于人体生物信息的身份认证方案存在信息难提取、偶然性大和误差性大的问题，基于传统密码学的认证方案需较大计算资源和能量消耗，并不适用于无线体域网环境。为此，在动态口令和非对称加密机制基础上，提出一种适用于无线体域网的动态口令双向认证轻量协议，并对其进行形式化分析。通过理论证明、SVO逻辑推理及SPIN模型检测得出：该协议满足双向认证，且能够抵御重放攻击、伪装攻击、拒绝服务器攻击和口令离线攻击，具有较高安全性。     

Differences between oculomotor and perceptual artifacts for temporally limited head mounted displays

We used perceptual and oculomotor measures to understand the negative impacts of low (phantom array) and high (motion blur) duty cycles with a high‐speed, AR‐likehead‐mounted display prototype. We observed large intersubject variability for the detection of phantom array artifacts but a highly consistent and systematic effect on saccadic eye movement targeting during low duty cycle presentations. This adverse effect on saccade endpoints was also related to an increased error rate in a perceptual discrimination task, showing a direct effect of display duty cycle on the perceptual quality. For high duty cycles, the probability of detecting motion blur increased during head movements, and this effect was elevated at lower refresh rates. We did not find an impact of the temporal display characteristics on compensatory eye movements during head motion (e.g., VOR). Together, our results allow us to quantify the tradeoff of different negative spatiotemporal impacts of user movements and make subsequent recommendations for optimized temporal HMD parameters.     

Co-creation of value and the project context: Towards application on the case of Hinkley Point C Nuclear Power Station

The research analyses decisions as evaluative outcomes regarding project value. The UK-French Hinkley Point C Nuclear Power Station provides the case study. Value is traditionally assessed as inputs and outputs. Here, value is conceptualized as a co-created value proposition at the front-end with implications for realization post-completion. Service-dominant logic (SDL) provides the theoretical lens and contributes to a methodological approach for examining projects. Decision-making outcomes provide the evidence from a range of data sources, including reports and commentaries. The methods are interpretative. The findings show that decision-making extends beyond the time-cost-quality/scope dimensions. The long-term issues regarding value realized are often overlooked. Stakeholders and individual actors have mainly focused upon managing political and financial risks, especially time and cost. The research poses challenges to project management analysis, SDL and research design in assessing evidence. Addressing these issues facilitates a knowledge contribution to SDL theorization and the field of project management.     

All two-input logic gates by a single-stage single electron box

In this paper, the design of all two-input logic gates is presented by only a single-stage single electron box (SEB) for the first time. All gates are constructed based on a same circuit. We have used unique periodic characteristics of SEB to design these gates and present all two-input logic gates (monotonic/non-monotonic, symmetric/non-symmetric) by a single-stage design. In conventional monotonic devices, such as MOSFETs, implementing non-monotonic logic gates such as XOR and XNOR is impossible by only a single-stage design, and a multistage design is required which leads to more complexity, higher power consumption and less speed of the gates. We present qualitative design at first and then detailed designs are investigated and optimised by using our previous works. All designs are verified by a single electron simulator which shows correct operation of the gates.     

甘肃省陇东地区极端降水的时空特征

为阐明甘肃省陇东地区极端降水的变化规律,利用该地区13个气象台站1961~2015年的逐日降水资料,应用超门限峰值法、反距离加权法、线性倾向估计法、滑动平均法、Mann-Kendall突变分析法、复值Morlet小波分析法研究极端降水的时空变化特征。结果表明,陇东地区各站第95百分位极端降水阈值在27.8mm附近变化,即可以大雨事件作为极端降水事件进行监测;极端降水指数主要表现为从南向北递减的趋势,极端降水事件对环县和崆峒的影响较小;极端降水事件虽然在总量、强度上表现为减小趋势,但其发生频次及对总降水的贡献率逐渐增强;极端降水总量和极端降水强度周期变化均在21年左右能量最强,而极端降水频次和极端降水贡献率周期变化分别在28、5年左右能量最强。     

基于高分一号遥感卫星的渤海湾悬浮泥沙时空分布反演

悬浮泥沙是评价II类水体水质的重要参数之一,近海岸水域悬浮泥沙对重金属、营养盐等具有一定的吸附作用,悬浮泥沙的分布特征在一定程度上反映着污染物的迁移和循环,因此研究悬浮泥沙对渤海湾建设和环境保护具有重要意义。为探究渤海湾水域悬浮泥沙浓度 和分布的变化特征,利用高分一号多光谱卫星影像,通过采用波段组合的方式对悬浮泥沙含量指数反演提取,反演得到2019年9个月的渤海湾悬浮泥沙指数,分析发现渤海湾悬浮泥沙含量在冬季受季风影响较高,春季和夏季的时候渤海湾高浓度悬浮泥沙向近岸收缩,秋季 悬浮泥沙分布格局有正在向冬季过渡的趋势,本文研究可为渤海湾的生态环境保护和工业开发提供重要的科学依据和参考价值。     

基于Stateflow电力机车变流器控制设计与实现

某出口型号交流电力机车牵引控制系统要求变流器控制逻辑具备接触器控制、牵引系统数据交互、变流器故障保护、变流器启动自检等功能。针对以上功能,基于MATLAB中的Simulink/Stateflow可视化编程工具进行牵引控制模型的搭建,遵循模块化编程理念,采用较少的程序代码编写实现复杂的逻辑控制模型,生成逻辑清晰的控制功能流程图,进行半实物仿真测试,增强控制模型的可靠性。通过该变流器产品型式试验检验,验证变流器控制逻辑的功能可以满足控制系统的需求。     

Actuator fault tolerant control using adaptive RBFNN fuzzy sliding mode controller for coaxial octorotor UAV

In this paper, a robust controller for a Six Degrees of Freedom (6 DOF) coaxial octorotor helicopter control is proposed in presence of actuator faults. Radial Base Function Neural Network (RBFNN), Fuzzy Logic Control approach (FLC) and Sliding Mode Control (SMC) technique are used to design a controller, named Fault Tolerant Control (FTC), for each subsystem of the octorotor helicopter. The proposed FTC scheme allows avoiding difficult modeling, attenuating the chattering effect of the SMC, reducing the rules number of the fuzzy controller, and guaranteeing the stability and the robustness of the system. The simulation results show that the proposed FTC can greatly alleviate the chattering effect, good tracking in presence of actuator faults.     

重新找回人工智能的可解释性

针对深度神经网络AI研究的可解释性瓶颈，指出刚性逻辑（数理形式逻辑）和二值神经元等价，二值神经网络可转换成逻辑表达式，有强可解释性。深度神经网络一味增加中间层数来拟合大数据，没有适时通过抽象把最小粒度的数据（原子）变成粒度较大的知识（分子），再把较小粒度的知识变成较大粒度的知识，把原有的强可解释性淹没在中间层次的汪洋大海中。要支持多粒度的知识处理，需把刚性逻辑扩张为柔性命题逻辑（命题级数理辩证逻辑），把二值神经元扩张为柔性神经元，才能保持强可解释性。本文详细介绍了从刚性逻辑到柔性逻辑的扩张过程和成果，最后介绍了它们在AI研究中的应用，这是重新找回AI研究强可解释性的最佳途径。